Embedded operating systems - PDFSEARCH.IO - Document Search Engine

Embedded operating systems
Results: 844

#	Item
81	™ MICROKERNEL PROFILE FOR VXWORKS Powering billions of intelligent devices, VxWorks® is the world’s most widely deployed real-time operating system (RTOS). VxWorks delivers unrivaled deterministic performance and s Add to Reading List Source URL: windriver.com Language: English - Date: 2015-03-31 14:29:45 Real-time operating systems Embedded operating systems VxWorks Wind River Systems Kernel Embedded system Simics Microkernel Embedded software System software Software Computing
82	Eliminating Stack Overflow by Abstract Interpretation JOHN REGEHR, ALASTAIR REID, and KIRK WEBB University of Utah An important correctness criterion for software running on embedded microcontrollers is stack Add to Reading List Source URL: www.cs.utah.edu Language: English - Date: 2007-11-11 18:13:27 X86 instructions Embedded systems Interrupt handler Stack Microcontroller Interrupt flag Call stack Real-time operating system Interrupt Computer architecture Interrupts Computing
83	Microsoft Word - SIGOPSAnnualReport2005.docx Add to Reading List Source URL: www.sigops.org Language: English - Date: 2008-10-02 23:52:14 Dijkstra Prize Distributed computing Symposium on Operating Systems Principles Software engineers Symposium on Principles of Distributed Computing Edsger W. Dijkstra Conference on Embedded Networked Sensor Systems Nancy Lynch Keith Marzullo Computing Concurrent computing Computer science
84	Efficient Memory Safety for TinyOS Nathan Cooprider Will Archer Eric Eide Add to Reading List Source URL: www.cs.utah.edu Language: English - Date: 2007-11-16 19:26:49 Embedded operating systems Type theory Data types TinyOS Wireless sensor network NesC Procedural programming languages Type safety C Computing Software engineering Programming language theory
85	Microsoft Word - SIGOPSAnnualReport2004.docx Add to Reading List Source URL: www.sigops.org Language: English - Date: 2008-10-02 23:52:14 Symposium on Operating Systems Principles Software engineers Dijkstra Prize Symposium on Principles of Distributed Computing Conference on Embedded Networked Sensor Systems Mark Weiser Edsger W. Dijkstra Keith Marzullo ACM SIGACT Computing Computer science Concurrent computing
86	Microsoft Word - SIGOPSAnnualReport2003.docx Add to Reading List Source URL: www.sigops.org Language: English - Date: 2008-10-02 23:52:14 Wireless sensor network Conference on Embedded Networked Sensor Systems Symposium on Operating Systems Principles Software engineers Dijkstra Prize Edsger W. Dijkstra Symposium on Principles of Distributed Computing Distributed computing SIGMOBILE Computing Computer science Concurrent computing
87	465_SG_CHFI_12.qxd:58 PM Add to Reading List Source URL: scitechconnect.elsevier.com Language: English - Date: 2015-03-19 08:14:11 Information appliances Personal digital assistants Technology Embedded operating systems Smartphones Palm OS Security token Mobipocket Mobile device forensics Software Computing BlackBerry
88	Embedded Computing Design Resource Guide SOFTWARE Operating Systems: Kernels and tools embedded-computing.com/p9918156 Add to Reading List Source URL: www.state-machine.com Language: English - Date: 2014-07-07 10:50:46 Embedded operating systems Real-time operating systems Cross-platform software QP Software architecture Software Computing Models of computation
89	Free Electrons. Kernel, drivers and embedded Linux development, consulting, training and support. http://free-electrons.com 1/45 Thomas Petazzoni I Add to Reading List Source URL: events.linuxfoundation.org Language: English - Date: 2013-11-21 12:14:40 Linux kernel Monolithic kernels Embedded operating systems Linux Loadable kernel module Kernel Vmlinux Operating system T-Kernel Software Computer architecture System software
90	On Mining Sensor Network Software Repositories Andreas Loukas Matthias Woehrle Koen Langendoen Add to Reading List Source URL: www.es.ewi.tudelft.nl Language: English - Date: 2014-05-27 11:05:56 Embedded operating systems Wireless sensor network TinyOS Contiki NesC Repo TI MSP430 Swedish Institute of Computer Science Git Software Computing Classes of computers

UPDATE